﻿An feature subtraction (e.g. an opening element) can not have other openings to void itself. The inverse relationship <em>HasOpenings</em> shall therefore be NIL.